w{-}ekind($w$; $e$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$w{-}kind($w$; w{-}act($w$; $e$))